Optimal. Leaf size=633 \[ -\frac{5 \left (b x+c x^2\right )^{3/2} \left (3 e x \left (A e \left (b^2 e^2-8 b c d e+8 c^2 d^2\right )-B d \left (9 b^2 e^2-32 b c d e+24 c^2 d^2\right )\right )+d \left (A e \left (-b^2 e^2-12 b c d e+16 c^2 d^2\right )-B d \left (7 b^2 e^2-52 b c d e+48 c^2 d^2\right )\right )\right )}{96 d e^4 (d+e x)^3 (c d-b e)}-\frac{5 \sqrt{b x+c x^2} \left (-2 c e x \left (A e \left (b^2 e^2-16 b c d e+16 c^2 d^2\right )-B d \left (17 b^2 e^2-64 b c d e+48 c^2 d^2\right )\right )-A e \left (16 b^2 c d e^2+b^3 e^3-80 b c^2 d^2 e+64 c^3 d^3\right )+B d \left (120 b^2 c d e^2-7 b^3 e^3-304 b c^2 d^2 e+192 c^3 d^3\right )\right )}{64 d e^6 (d+e x) (c d-b e)}-\frac{5 \sqrt{c} \tanh ^{-1}\left (\frac{\sqrt{c} x}{\sqrt{b x+c x^2}}\right ) \left (4 A c e (2 c d-b e)-B \left (3 b^2 e^2-20 b c d e+24 c^2 d^2\right )\right )}{4 e^7}+\frac{5 \left (A e \left (144 b^2 c^2 d^2 e^2-16 b^3 c d e^3-b^4 e^4-256 b c^3 d^3 e+128 c^4 d^4\right )-B d \left (672 b^2 c^2 d^2 e^2-168 b^3 c d e^3+7 b^4 e^4-896 b c^3 d^3 e+384 c^4 d^4\right )\right ) \tanh ^{-1}\left (\frac{x (2 c d-b e)+b d}{2 \sqrt{d} \sqrt{b x+c x^2} \sqrt{c d-b e}}\right )}{128 d^{3/2} e^7 (c d-b e)^{3/2}}+\frac{\left (b x+c x^2\right )^{5/2} (-A e+3 B d+2 B e x)}{4 e^2 (d+e x)^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.902376, antiderivative size = 633, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 6, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.231, Rules used = {812, 810, 843, 620, 206, 724} \[ -\frac{5 \left (b x+c x^2\right )^{3/2} \left (3 e x \left (A e \left (b^2 e^2-8 b c d e+8 c^2 d^2\right )-B d \left (9 b^2 e^2-32 b c d e+24 c^2 d^2\right )\right )+d \left (A e \left (-b^2 e^2-12 b c d e+16 c^2 d^2\right )-B d \left (7 b^2 e^2-52 b c d e+48 c^2 d^2\right )\right )\right )}{96 d e^4 (d+e x)^3 (c d-b e)}-\frac{5 \sqrt{b x+c x^2} \left (-2 c e x \left (A e \left (b^2 e^2-16 b c d e+16 c^2 d^2\right )-B d \left (17 b^2 e^2-64 b c d e+48 c^2 d^2\right )\right )-A e \left (16 b^2 c d e^2+b^3 e^3-80 b c^2 d^2 e+64 c^3 d^3\right )+B d \left (120 b^2 c d e^2-7 b^3 e^3-304 b c^2 d^2 e+192 c^3 d^3\right )\right )}{64 d e^6 (d+e x) (c d-b e)}-\frac{5 \sqrt{c} \tanh ^{-1}\left (\frac{\sqrt{c} x}{\sqrt{b x+c x^2}}\right ) \left (4 A c e (2 c d-b e)-B \left (3 b^2 e^2-20 b c d e+24 c^2 d^2\right )\right )}{4 e^7}+\frac{5 \left (A e \left (144 b^2 c^2 d^2 e^2-16 b^3 c d e^3-b^4 e^4-256 b c^3 d^3 e+128 c^4 d^4\right )-B d \left (672 b^2 c^2 d^2 e^2-168 b^3 c d e^3+7 b^4 e^4-896 b c^3 d^3 e+384 c^4 d^4\right )\right ) \tanh ^{-1}\left (\frac{x (2 c d-b e)+b d}{2 \sqrt{d} \sqrt{b x+c x^2} \sqrt{c d-b e}}\right )}{128 d^{3/2} e^7 (c d-b e)^{3/2}}+\frac{\left (b x+c x^2\right )^{5/2} (-A e+3 B d+2 B e x)}{4 e^2 (d+e x)^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 812
Rule 810
Rule 843
Rule 620
Rule 206
Rule 724
Rubi steps
\begin{align*} \int \frac{(A+B x) \left (b x+c x^2\right )^{5/2}}{(d+e x)^5} \, dx &=\frac{(3 B d-A e+2 B e x) \left (b x+c x^2\right )^{5/2}}{4 e^2 (d+e x)^4}-\frac{5 \int \frac{(2 b (3 B d-A e)+4 (3 B c d-b B e-A c e) x) \left (b x+c x^2\right )^{3/2}}{(d+e x)^4} \, dx}{16 e^2}\\ &=-\frac{5 \left (d \left (A e \left (16 c^2 d^2-12 b c d e-b^2 e^2\right )-B d \left (48 c^2 d^2-52 b c d e+7 b^2 e^2\right )\right )+3 e \left (A e \left (8 c^2 d^2-8 b c d e+b^2 e^2\right )-B d \left (24 c^2 d^2-32 b c d e+9 b^2 e^2\right )\right ) x\right ) \left (b x+c x^2\right )^{3/2}}{96 d e^4 (c d-b e) (d+e x)^3}+\frac{(3 B d-A e+2 B e x) \left (b x+c x^2\right )^{5/2}}{4 e^2 (d+e x)^4}+\frac{5 \int \frac{\left (b \left (A e \left (16 c^2 d^2-12 b c d e-b^2 e^2\right )-B d \left (48 c^2 d^2-52 b c d e+7 b^2 e^2\right )\right )+2 c \left (A e \left (16 c^2 d^2-16 b c d e+b^2 e^2\right )-B d \left (48 c^2 d^2-64 b c d e+17 b^2 e^2\right )\right ) x\right ) \sqrt{b x+c x^2}}{(d+e x)^2} \, dx}{64 d e^4 (c d-b e)}\\ &=-\frac{5 \left (B d \left (192 c^3 d^3-304 b c^2 d^2 e+120 b^2 c d e^2-7 b^3 e^3\right )-A e \left (64 c^3 d^3-80 b c^2 d^2 e+16 b^2 c d e^2+b^3 e^3\right )-2 c e \left (A e \left (16 c^2 d^2-16 b c d e+b^2 e^2\right )-B d \left (48 c^2 d^2-64 b c d e+17 b^2 e^2\right )\right ) x\right ) \sqrt{b x+c x^2}}{64 d e^6 (c d-b e) (d+e x)}-\frac{5 \left (d \left (A e \left (16 c^2 d^2-12 b c d e-b^2 e^2\right )-B d \left (48 c^2 d^2-52 b c d e+7 b^2 e^2\right )\right )+3 e \left (A e \left (8 c^2 d^2-8 b c d e+b^2 e^2\right )-B d \left (24 c^2 d^2-32 b c d e+9 b^2 e^2\right )\right ) x\right ) \left (b x+c x^2\right )^{3/2}}{96 d e^4 (c d-b e) (d+e x)^3}+\frac{(3 B d-A e+2 B e x) \left (b x+c x^2\right )^{5/2}}{4 e^2 (d+e x)^4}-\frac{5 \int \frac{-b \left (B d \left (192 c^3 d^3-304 b c^2 d^2 e+120 b^2 c d e^2-7 b^3 e^3\right )-A e \left (64 c^3 d^3-80 b c^2 d^2 e+16 b^2 c d e^2+b^3 e^3\right )\right )+16 c d (c d-b e) \left (4 A c e (2 c d-b e)-B \left (24 c^2 d^2-20 b c d e+3 b^2 e^2\right )\right ) x}{(d+e x) \sqrt{b x+c x^2}} \, dx}{128 d e^6 (c d-b e)}\\ &=-\frac{5 \left (B d \left (192 c^3 d^3-304 b c^2 d^2 e+120 b^2 c d e^2-7 b^3 e^3\right )-A e \left (64 c^3 d^3-80 b c^2 d^2 e+16 b^2 c d e^2+b^3 e^3\right )-2 c e \left (A e \left (16 c^2 d^2-16 b c d e+b^2 e^2\right )-B d \left (48 c^2 d^2-64 b c d e+17 b^2 e^2\right )\right ) x\right ) \sqrt{b x+c x^2}}{64 d e^6 (c d-b e) (d+e x)}-\frac{5 \left (d \left (A e \left (16 c^2 d^2-12 b c d e-b^2 e^2\right )-B d \left (48 c^2 d^2-52 b c d e+7 b^2 e^2\right )\right )+3 e \left (A e \left (8 c^2 d^2-8 b c d e+b^2 e^2\right )-B d \left (24 c^2 d^2-32 b c d e+9 b^2 e^2\right )\right ) x\right ) \left (b x+c x^2\right )^{3/2}}{96 d e^4 (c d-b e) (d+e x)^3}+\frac{(3 B d-A e+2 B e x) \left (b x+c x^2\right )^{5/2}}{4 e^2 (d+e x)^4}-\frac{\left (5 c \left (4 A c e (2 c d-b e)-B \left (24 c^2 d^2-20 b c d e+3 b^2 e^2\right )\right )\right ) \int \frac{1}{\sqrt{b x+c x^2}} \, dx}{8 e^7}+\frac{\left (5 \left (A e \left (128 c^4 d^4-256 b c^3 d^3 e+144 b^2 c^2 d^2 e^2-16 b^3 c d e^3-b^4 e^4\right )-B d \left (384 c^4 d^4-896 b c^3 d^3 e+672 b^2 c^2 d^2 e^2-168 b^3 c d e^3+7 b^4 e^4\right )\right )\right ) \int \frac{1}{(d+e x) \sqrt{b x+c x^2}} \, dx}{128 d e^7 (c d-b e)}\\ &=-\frac{5 \left (B d \left (192 c^3 d^3-304 b c^2 d^2 e+120 b^2 c d e^2-7 b^3 e^3\right )-A e \left (64 c^3 d^3-80 b c^2 d^2 e+16 b^2 c d e^2+b^3 e^3\right )-2 c e \left (A e \left (16 c^2 d^2-16 b c d e+b^2 e^2\right )-B d \left (48 c^2 d^2-64 b c d e+17 b^2 e^2\right )\right ) x\right ) \sqrt{b x+c x^2}}{64 d e^6 (c d-b e) (d+e x)}-\frac{5 \left (d \left (A e \left (16 c^2 d^2-12 b c d e-b^2 e^2\right )-B d \left (48 c^2 d^2-52 b c d e+7 b^2 e^2\right )\right )+3 e \left (A e \left (8 c^2 d^2-8 b c d e+b^2 e^2\right )-B d \left (24 c^2 d^2-32 b c d e+9 b^2 e^2\right )\right ) x\right ) \left (b x+c x^2\right )^{3/2}}{96 d e^4 (c d-b e) (d+e x)^3}+\frac{(3 B d-A e+2 B e x) \left (b x+c x^2\right )^{5/2}}{4 e^2 (d+e x)^4}-\frac{\left (5 c \left (4 A c e (2 c d-b e)-B \left (24 c^2 d^2-20 b c d e+3 b^2 e^2\right )\right )\right ) \operatorname{Subst}\left (\int \frac{1}{1-c x^2} \, dx,x,\frac{x}{\sqrt{b x+c x^2}}\right )}{4 e^7}-\frac{\left (5 \left (A e \left (128 c^4 d^4-256 b c^3 d^3 e+144 b^2 c^2 d^2 e^2-16 b^3 c d e^3-b^4 e^4\right )-B d \left (384 c^4 d^4-896 b c^3 d^3 e+672 b^2 c^2 d^2 e^2-168 b^3 c d e^3+7 b^4 e^4\right )\right )\right ) \operatorname{Subst}\left (\int \frac{1}{4 c d^2-4 b d e-x^2} \, dx,x,\frac{-b d-(2 c d-b e) x}{\sqrt{b x+c x^2}}\right )}{64 d e^7 (c d-b e)}\\ &=-\frac{5 \left (B d \left (192 c^3 d^3-304 b c^2 d^2 e+120 b^2 c d e^2-7 b^3 e^3\right )-A e \left (64 c^3 d^3-80 b c^2 d^2 e+16 b^2 c d e^2+b^3 e^3\right )-2 c e \left (A e \left (16 c^2 d^2-16 b c d e+b^2 e^2\right )-B d \left (48 c^2 d^2-64 b c d e+17 b^2 e^2\right )\right ) x\right ) \sqrt{b x+c x^2}}{64 d e^6 (c d-b e) (d+e x)}-\frac{5 \left (d \left (A e \left (16 c^2 d^2-12 b c d e-b^2 e^2\right )-B d \left (48 c^2 d^2-52 b c d e+7 b^2 e^2\right )\right )+3 e \left (A e \left (8 c^2 d^2-8 b c d e+b^2 e^2\right )-B d \left (24 c^2 d^2-32 b c d e+9 b^2 e^2\right )\right ) x\right ) \left (b x+c x^2\right )^{3/2}}{96 d e^4 (c d-b e) (d+e x)^3}+\frac{(3 B d-A e+2 B e x) \left (b x+c x^2\right )^{5/2}}{4 e^2 (d+e x)^4}-\frac{5 \sqrt{c} \left (4 A c e (2 c d-b e)-B \left (24 c^2 d^2-20 b c d e+3 b^2 e^2\right )\right ) \tanh ^{-1}\left (\frac{\sqrt{c} x}{\sqrt{b x+c x^2}}\right )}{4 e^7}+\frac{5 \left (A e \left (128 c^4 d^4-256 b c^3 d^3 e+144 b^2 c^2 d^2 e^2-16 b^3 c d e^3-b^4 e^4\right )-B d \left (384 c^4 d^4-896 b c^3 d^3 e+672 b^2 c^2 d^2 e^2-168 b^3 c d e^3+7 b^4 e^4\right )\right ) \tanh ^{-1}\left (\frac{b d+(2 c d-b e) x}{2 \sqrt{d} \sqrt{c d-b e} \sqrt{b x+c x^2}}\right )}{128 d^{3/2} e^7 (c d-b e)^{3/2}}\\ \end{align*}
Mathematica [B] time = 6.28533, size = 2696, normalized size = 4.26 \[ \text{Result too large to show} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.026, size = 23819, normalized size = 37.6 \begin{align*} \text{output too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]